Search for: All records

Core features (functionalities) of an app can often be accessed and invoked in several ways, i.e., through alternative sequences of user-interface (UI) interactions. Given the manual effort of writing tests, developers often only consider the typical way of invoking features when creating the tests (i.e., the “sunny day scenario”). However, the alternative ways of invoking a feature are as likely to be faulty. These faults would go undetected without proper tests. To reduce the manual effort of creating UI tests and help developers more thoroughly examine the features of apps, we presentRoute, an automated tool for feature-based UI test augmentation for Android apps.Routefirst takes a UI test and the app under test as input. It then applies novel heuristics to find additional high-quality UI tests, consisting of both inputs and assertions, that verify the same feature as the original test in alternative ways. Application ofRouteon several dozen tests for popular apps on Google Play shows that for 96% of the existing tests,Routewas able to generate at least one alternative test. Moreover, the fault detection effectiveness of augmented test suites in our experiments showed substantial improvements of up to 39% over the original test suites.

 

Within the iron metallogenic province of southeast Missouri, USA, there are several mines that contain not only economic iron resources, magnetite and/or hematite, but also contain rare earth elements, copper and gold. An area including three major deposits, Pea Ridge, Bourbon and Kratz Spring, was selected for detailed modelling for the upper crustal magnetic susceptibility and density structures. For the study area, ground gravity and high-resolution airborne magnetic and gravity gradiometry data sets are available. An efficient and novel joint inversion algorithm for the simultaneous inversion of these multiple data sets is presented. The Gramian coupling constraint is used to correlate the reconstructed density and magnetic susceptibility models. The implementation relies on the structures of the sensitivity matrices and an efficient minimization algorithm to achieve significant reductions in the memory requirements and computational costs. Consequently, it is feasible to use a laptop computer for the inversion of multiple data sets, each containing thousands of data points, for the recovery of models on the study area, each including approximately one million model parameters. This is the first time that these multiple data sets have been simultaneously inverted for this area. The L1-norm stabilizer is used to provide compact and focused images of the ore deposits. For contrast, independent inversions of each data set are also discussed. In general, our results provide new insights about the concealed ore deposits in the Mesoproterozoic basement rocks of southeast Missouri. Both short- and long-wavelength anomalies exist in the recovered models; these provide a high-resolution image of the subsurface. The geometry and physical properties of the known deposits are determined very well. Additionally, some unknown concealed deposits are revealed; these could be economically valuable and should be considered in future geophysical and geological investigations.

 

Atmospheric cold fronts can periodically generate storm surges and affect sediment transport in the Northern Gulf of Mexico (NGOM). In this paper, we evaluate water circulation spatiotemporal patterns induced by six atmospheric cold front events in the Wax Lake Delta (WLD) in coastal Louisiana using the 3-D hydrodynamic model ECOM-si. Model simulations show that channelized and inter-distributary water flow is significantly impacted by cold fronts. Water volume transport throughout the deltaic channel network is not just constrained to the main channels but also occurs laterally across channels accounting for about a quarter of the total flow. Results show that a significant landward flow occurs across the delta prior to the frontal passage, resulting in a positive storm surge on the coast. The along-channel current velocity dominates while cross-channel water transport occurs at the southwest lobe during the post-frontal stage. Depending on local weather conditions, the cold-front-induced flushing event lasts for 1.7 to 7 days and can flush 32–76% of the total water mass out of the system, a greater range of variability than previous reports. The magnitude of water flushed out of the system is not necessarily dependent on the duration of the frontal events. An energy partitioning analysis shows that the relative importance of subtidal energy (10–45% of the total) and tidal energy (20–70%) varies substantially from station to station and is linked to the weather impact. It is important to note that within the WLD region, the weather-induced subtidal energy (46–66% of the total) is much greater than the diurnal tidal energy (13–25% of the total). The wind associated with cold fronts in winter is the main factor controlling water circulation in the WLD and is a major driver in the spatial configuration of the channel network and delta progradation rates.